The El Reno, Ok, Tornado Of May 31, 2013: A Case Study